Modeling and Generating Tradeoos for Constraint-based Connguration

نویسندگان

  • Eugene C. Freuder
  • Barry O'Sullivan
چکیده

During an interactive connguration session we may reach a point where our desires can not be met. At this point we can consider \tradeoos". Ideally, we would like the conngurator to suggest appropriate tradeoos to us. In this paper we have modeled tradeoos in constraint-based connguration as additional constraints, and begun to study the issues involved in generating and evaluating such tradeoos. We describe our basic approach in the context of a \toy" connguration problem based on the classic N-Queens problem. Initial experiments compare \proposal strategies" for generating tradeoos. We lay out a program for further study, outlining the parameters of the problem space to be explored.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Generating Tradeoos for Interactive Constraint-based Connguration

In this paper we have modeled tradeoos in constraint-based connguration as additional constraints, and begun to study the issues involved in generating and evaluating such tradeoos. We describe our basic approach in the context of a \toy" connguration problem based on the classic N-Queens problem. Initial experiments compare \proposal strategies" for generating tradeoos. We demonstrate that arc...

متن کامل

Interactive Connguration Using Constraint Satisfaction Techniques

In this paper, we focus on techniques for incremental constraint-based conngu-ration with discrete and continuous variables. We show how to formalize constraint knowledge using compatibility and activity constraints (Mittal 1990) and how this knowledge is used for reasoning within an intelligent CAD system. Most technical (as opposed to spatial) constraint connguration systems use algorithms fo...

متن کامل

Package Frame

In this paper, we focus on techniques for incremen-tal constraint-based connguration with discrete and continuous variables. We show how to formalize constraint knowledge using compatibility and activity constraints (Mittal 1990) and how this knowledge is used for reasoning within an intelligent CAD system. Most technical as opposed to spatial constraint connguration systems use algorithms for ...

متن کامل

Connguration as Composite Constraint Satisfaction

Selecting and arranging parts is the core of a conngu-ration task. The validity of a connguration is deened in terms of constraints. Highly declarative, domain independent and simple to use, the constraint satisfaction problem (CSP) paradigm ooers an adequate framework for this task. However, the basic paradigm is not powerful enough to capture or to take advantage of essential aspects of conng...

متن کامل

2 The Problem Speci cation Language

Motivated by recent research results on terminological and constraint-based knowledge representation and reasoning we developed a formal speciication language for technical connguration problem and a prototypical system which executes on terminological and constraint-based problem speciications thus solving the deened connguration problem. In this paper the main features of the language and the...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001